Groupe commutatif, groupe abélien : groupe \((G,*)\) tel que \(*\) est commutatif (Groupe, Commutativité - Symétrie)